منابع مشابه
Arrow Update Synthesis
In this contribution we present arbitrary arrow update model logic (AAUML). This is a dynamic epistemic logic or update logic. In update logics, static/basic modalities are interpreted on a given relational model whereas dynamic/update modalities induce transformations (updates) of relational models. In AAUML the update modalities formalize the execution of arrow update models, and there is als...
متن کاملArrow Update Logic
We present Arrow Update Logic, a theory of epistemic access elimination that can be used to reason about multi-agent belief change. While the belief-changing “arrow updates” of Arrow Update Logic can be transformed into equivalent belief-changing “action models” from the popular Dynamic Epistemic Logic approach, we prove that arrow updates are sometimes exponentially more succinct than action m...
متن کاملThe undecidability of arbitrary arrow update logic
Arbitrary Arrow Update Logic is a dynamic modal logic that uses an arbitrary arrow update modality to quantify over all arrow updates. Some properties of this logic have already been established, but until now it remained an open question whether the logic’s satisfiability problem is decidable. Here, we show that the satisfiability problem of Arbitrary Arrow Update Logic is co-RE hard, and ther...
متن کاملGlycoprotein synthesis: an update.
2.2. Assembly Strategies 139 2.2.1. Linear Assembly 139 2.2.2. Convergent Assembly 139 2.2.3. Elaborative and Mixed Assembly Strategies 139 2.2.4. Native Ligation Assembly 140 3. Chemical Glycoprotein Synthesis 143 3.1. Indiscriminate Convergent Glycosylation 143 3.2. Chemoselective and Site-Specific Glycosylation 145 3.3. Site-Selective Glycosylation 147 3.4. Native Ligation Assembly 151 4. En...
متن کاملPhysical Modeling Synthesis Update∗
Recent research in physical modeling of musical instruments for purposes of sound synthesis is reviewed. Recent references, results, and outstanding problems are highlighted for models of strings, winds, brasses, percussion, and acoustic spaces. Emphasis is placed on digital waveguide models and the musical acoustics research on which they are based.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Information and Computation
سال: 2020
ISSN: 0890-5401
DOI: 10.1016/j.ic.2020.104544